we solve literal equations